This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...